<html>
<head><meta charset="utf-8"><title>weekly meeting November 13 · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html">weekly meeting November 13</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="147623183"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623183" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623183">(Nov 13 2018 at 20:32)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="491">@WG-compiler-nll</span></p>



<a name="147623189"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623189" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623189">(Nov 13 2018 at 20:32)</a>:</h4>
<p>I'm not as good as <span class="user-mention" data-user-id="116083">@pnkfelix</span> at giving notice I guess :)</p>



<a name="147623202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623202">(Nov 13 2018 at 20:32)</a>:</h4>
<p><a href="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage-Em2cJrvxQMMFWLE7lE5Be" target="_blank" title="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage-Em2cJrvxQMMFWLE7lE5Be">paper doc</a></p>



<a name="147623226"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623226" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623226">(Nov 13 2018 at 20:33)</a>:</h4>
<p>I've been trying to go through the <a href="https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+milestone%3A%22Rust+2018+Release%22" target="_blank" title="https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+milestone%3A%22Rust+2018+Release%22">issues on the Rust 2018 Milestone</a></p>



<a name="147623233"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623233" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623233">(Nov 13 2018 at 20:33)</a>:</h4>
<p>a lot of them are A-nll</p>



<a name="147623235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623235">(Nov 13 2018 at 20:33)</a>:</h4>
<p>I'd lke to get that list down to true Rust 2018 blockers</p>



<a name="147623318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623318">(Nov 13 2018 at 20:34)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/54256" target="_blank" title="https://github.com/rust-lang/rust/issues/54256">#54256</a> shouldn't be there, it's a diagnostics issue that is true for both borrow checkers</p>



<a name="147623324"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623324" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623324">(Nov 13 2018 at 20:34)</a>:</h4>
<p>confirm</p>



<a name="147623333"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623333" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623333">(Nov 13 2018 at 20:35)</a>:</h4>
<p>maybe we can go through them briefly</p>



<a name="147623372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623372">(Nov 13 2018 at 20:35)</a>:</h4>
<p>I similarly removed  NLL reports "borrow used here in later iteration of loop" in cases outside of loop <a href="https://github.com/rust-lang/rust/issues/53773" target="_blank" title="https://github.com/rust-lang/rust/issues/53773">#53773</a></p>



<a name="147623378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623378">(Nov 13 2018 at 20:35)</a>:</h4>
<p>although it is confusing to me that it still happens</p>



<a name="147623424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623424">(Nov 13 2018 at 20:36)</a>:</h4>
<p><span class="user-mention" data-user-id="128294">@blitzerr</span>, if you're around, are you interested in poking at that a bit on the side? :)</p>



<a name="147623436"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623436" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623436">(Nov 13 2018 at 20:36)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+milestone%3A%22Rust+2018+Release%22+label%3AA-NLL" target="_blank" title="https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+milestone%3A%22Rust+2018+Release%22+label%3AA-NLL">link with only the NLL issues</a></p>



<a name="147623447"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623447" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623447">(Nov 13 2018 at 20:36)</a>:</h4>
<p>so yeah let's go through them  briefly 1-by-1 if that's ok</p>



<a name="147623454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623454">(Nov 13 2018 at 20:36)</a>:</h4>
<p>NLL: investigate ascription when a <code>_</code> wildcard tyvar is repeated <a href="https://github.com/rust-lang/rust/issues/55748" target="_blank" title="https://github.com/rust-lang/rust/issues/55748">#55748</a></p>



<a name="147623479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623479">(Nov 13 2018 at 20:37)</a>:</h4>
<blockquote>
<p>putting on Release milestone, to ensure we actually find out whether this is even a problem (i.e. make some examples of soundness bugs that are actually getting through due to this) before we do the Release.</p>
</blockquote>



<a name="147623490"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623490" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623490">(Nov 13 2018 at 20:37)</a>:</h4>
<p>seems like we need to get a confirmed test case, potentially, but --</p>



<a name="147623495"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623495" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623495">(Nov 13 2018 at 20:37)</a>:</h4>
<p>I don't really feel like this is a blocker</p>



<a name="147623507"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623507" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623507">(Nov 13 2018 at 20:37)</a>:</h4>
<p>you have to work hard to create soundness problems here</p>



<a name="147623559"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623559" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623559">(Nov 13 2018 at 20:38)</a>:</h4>
<p>it does raise an interesting question, in that I think we should set a kind of goal to make progress through these NLL-sound bugs</p>



<a name="147623583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623583">(Nov 13 2018 at 20:39)</a>:</h4>
<p>basically I think that to have this bug you have to use a type alias with repeated type variables, I'll have to think about just how to really exercise it, but it involves something like <code>type Pair&lt;T&gt; = (T, T)</code> and then an annotation like <code>Pair&lt;_&gt;</code> ..</p>



<a name="147623605"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623605" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623605">(Nov 13 2018 at 20:39)</a>:</h4>
<p>...such that one of the variables can't have the same type as the other</p>



<a name="147623621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623621">(Nov 13 2018 at 20:39)</a>:</h4>
<p>anybody object if I remove from milestone?</p>



<a name="147623679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623679">(Nov 13 2018 at 20:40)</a>:</h4>
<p>Next issue:</p>
<blockquote>
<p>nll: respect user type annotations with constants in patterns <a href="https://github.com/rust-lang/rust/issues/55511" target="_blank" title="https://github.com/rust-lang/rust/issues/55511">#55511</a></p>
</blockquote>



<a name="147623685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623685">(Nov 13 2018 at 20:40)</a>:</h4>
<p>also feels (to me) pretty obscure</p>



<a name="147623708"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623708" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623708">(Nov 13 2018 at 20:41)</a>:</h4>
<p>if we want to keep it P-high, that seems fine, but we should assign someone</p>



<a name="147623722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623722">(Nov 13 2018 at 20:41)</a>:</h4>
<p>(thoughts?)</p>



<a name="147623746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623746">(Nov 13 2018 at 20:41)</a>:</h4>
<p>/me removes from milestone</p>



<a name="147623815"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623815" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623815">(Nov 13 2018 at 20:42)</a>:</h4>
<p>Maybe <code>P-med</code> if it isn't too important? That's probably still the next highest priority for NLL issues.</p>



<a name="147623824"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623824" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623824">(Nov 13 2018 at 20:42)</a>:</h4>
<p>This doesn't compile, so it seems that at least in some cases we do the right thing.</p>
<div class="codehilite"><pre><span></span>type Tup&lt;T&gt; = (T, T);

fn foo&lt;&#39;a&gt;(x: &amp;mut &amp;&#39;static mut i32, y: &amp;mut &amp;&#39;a mut i32) {
    let r: Tup&lt;_&gt; = (x, y);
}
</pre></div>



<a name="147623846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623846">(Nov 13 2018 at 20:43)</a>:</h4>
<blockquote>
<p>Maybe <code>P-med</code> if it isn't too important? That's probably still the next highest priority for NLL issues.</p>
</blockquote>
<p>sounds good -- <code>P-high</code> is supposed to mean "review at the compiler triage meeting"</p>



<a name="147623850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623850">(Nov 13 2018 at 20:43)</a>:</h4>
<p>I'm not sure that this merits <em>that</em></p>



<a name="147623875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623875">(Nov 13 2018 at 20:43)</a>:</h4>
<p>but I do think we should be making steady progress on the remaining NLL-sound bugs, perhaps setting a goal like "have them closed over the next 2 releases" or something</p>



<a name="147623921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623921">(Nov 13 2018 at 20:44)</a>:</h4>
<p>Next up:</p>
<blockquote>
<p>NLL doesn't check that user type annotations are well-formed in unreachable code <a href="https://github.com/rust-lang/rust/issues/54943" target="_blank" title="https://github.com/rust-lang/rust/issues/54943">#54943</a></p>
</blockquote>



<a name="147623930"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623930" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623930">(Nov 13 2018 at 20:44)</a>:</h4>
<p>assigned to <span class="user-mention" data-user-id="116107">@davidtwco</span></p>



<a name="147623937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623937">(Nov 13 2018 at 20:44)</a>:</h4>
<p>how goes?</p>



<a name="147623938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623938">(Nov 13 2018 at 20:44)</a>:</h4>
<p>I'm in the middle of it.</p>



<a name="147623943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623943">(Nov 13 2018 at 20:44)</a>:</h4>
<p>ok, let's leave it as is then</p>



<a name="147623949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623949">(Nov 13 2018 at 20:44)</a>:</h4>
<p>About to get back to it after this meeting.</p>



<a name="147623959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623959">(Nov 13 2018 at 20:44)</a>:</h4>
<p>next up:</p>
<blockquote>
<p>user type annotations are captured post normalization <a href="https://github.com/rust-lang/rust/issues/54940" target="_blank" title="https://github.com/rust-lang/rust/issues/54940">#54940</a></p>
</blockquote>



<a name="147623960"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623960" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623960">(Nov 13 2018 at 20:44)</a>:</h4>
<p>Last update in the topic here for the issue is still the case.</p>



<a name="147623971"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623971" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623971">(Nov 13 2018 at 20:44)</a>:</h4>
<p>that's assigned to me, but I honestly don't see how to fix it until we do lazy normalization</p>



<a name="147623979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623979">(Nov 13 2018 at 20:45)</a>:</h4>
<p>so I'd rather just focus on that as part of <a class="stream" data-stream-id="144729" href="/#narrow/stream/144729-wg-traits">#wg-traits</a></p>



<a name="147623989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623989">(Nov 13 2018 at 20:45)</a>:</h4>
<p>and in fact I might reassign this to that wg :)</p>



<a name="147623995"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147623995" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147623995">(Nov 13 2018 at 20:45)</a>:</h4>
<p>I don't really see it as a blocker for Rust 2018</p>



<a name="147624082"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624082" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624082">(Nov 13 2018 at 20:46)</a>:</h4>
<p>Next up:</p>
<blockquote>
<p>fix "bivariant wf" bug in the NLL subtyping code <a href="https://github.com/rust-lang/rust/issues/54105" target="_blank" title="https://github.com/rust-lang/rust/issues/54105">#54105</a></p>
</blockquote>



<a name="147624087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624087">(Nov 13 2018 at 20:46)</a>:</h4>
<p>which has no test case</p>



<a name="147624090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624090">(Nov 13 2018 at 20:46)</a>:</h4>
<p>so this.. is an obscure one</p>



<a name="147624094"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624094" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624094">(Nov 13 2018 at 20:46)</a>:</h4>
<p>yes</p>



<a name="147624098"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624098" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624098">(Nov 13 2018 at 20:47)</a>:</h4>
<p>I was just talking about it with <span class="user-mention" data-user-id="131694">@scalexm</span> today</p>



<a name="147624107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624107">(Nov 13 2018 at 20:47)</a>:</h4>
<p>they are reworking some of the relevant code in <a class="stream" data-stream-id="144729" href="/#narrow/stream/144729-wg-traits">#wg-traits</a></p>



<a name="147624112"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624112" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624112">(Nov 13 2018 at 20:47)</a>:</h4>
<p>anyway i'd not call it a blocker</p>



<a name="147624117"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624117" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624117">(Nov 13 2018 at 20:47)</a>:</h4>
<p>I'm not even <em>100% sure</em> it's a bug</p>



<a name="147624122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624122">(Nov 13 2018 at 20:47)</a>:</h4>
<p>though I suspect it is still</p>



<a name="147624190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624190">(Nov 13 2018 at 20:48)</a>:</h4>
<p>ok, that's the last of 'em</p>



<a name="147624199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624199">(Nov 13 2018 at 20:48)</a>:</h4>
<p>that wasn't as many as I feared, I guess because <span class="user-mention" data-user-id="116083">@pnkfelix</span> already did most of the triage etc</p>



<a name="147624220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624220">(Nov 13 2018 at 20:49)</a>:</h4>
<p>So of the 5 NLL-sound issues, two are theoretical “there might be a bug here, let’s try find it”, one is a meta issue and the others are assigned?</p>



<a name="147624233"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624233" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624233">(Nov 13 2018 at 20:49)</a>:</h4>
<p>so, moving on from that, I guess it's worth looking at the <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3ANll-sound" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3ANll-sound">NLL-sound bugs</a></p>



<a name="147624237"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624237" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624237">(Nov 13 2018 at 20:49)</a>:</h4>
<blockquote>
<p>So of the 5 NLL-sound issues, two are theoretical “there might be a bug here let’s try find it”, one is a meta issue and the others are assigned?</p>
</blockquote>
<p>basically yes :)</p>



<a name="147624250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624250">(Nov 13 2018 at 20:49)</a>:</h4>
<p>I do feel like we should not just let these NLL-sound bugs linger if we can help it</p>



<a name="147624260"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624260" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624260">(Nov 13 2018 at 20:49)</a>:</h4>
<p>just don't have to block release (or backport)</p>



<a name="147624319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624319">(Nov 13 2018 at 20:50)</a>:</h4>
<p>I could try to writeup some mentoring notes on <a href="https://github.com/rust-lang/rust/issues/55511" target="_blank" title="https://github.com/rust-lang/rust/issues/55511">https://github.com/rust-lang/rust/issues/55511</a></p>



<a name="147624330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624330">(Nov 13 2018 at 20:50)</a>:</h4>
<p>I think <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> you were sort of looking for something to do? :)</p>



<a name="147624341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624341">(Nov 13 2018 at 20:50)</a>:</h4>
<p>yes</p>



<a name="147624365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624365">(Nov 13 2018 at 20:51)</a>:</h4>
<p>(seems like there is still work left to do categorizing <a href="https://github.com/rust-lang/rust/issues/54528" target="_blank" title="https://github.com/rust-lang/rust/issues/54528">https://github.com/rust-lang/rust/issues/54528</a>, also; I'll add that to my to do list I think)</p>



<a name="147624430"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624430" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624430">(Nov 13 2018 at 20:52)</a>:</h4>
<p>As far as I know, Felix finished the review and looked at all of the “needs further investigation” ones.</p>



<a name="147624449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624449">(Nov 13 2018 at 20:52)</a>:</h4>
<p>There were a few migrate related issues that I think are resolved.</p>



<a name="147624453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624453">(Nov 13 2018 at 20:52)</a>:</h4>
<p>Same with unions.</p>



<a name="147624457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624457">(Nov 13 2018 at 20:52)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> would you be interested in either "borrow used here in later iteration of loop" in cases outside of loop <a href="https://github.com/rust-lang/rust/issues/53773" target="_blank" title="https://github.com/rust-lang/rust/issues/53773">#53773</a> or <a href="https://github.com/rust-lang/rust/issues/55511" target="_blank" title="https://github.com/rust-lang/rust/issues/55511">#55511</a>?</p>



<a name="147624466"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624466" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624466">(Nov 13 2018 at 20:52)</a>:</h4>
<p>IIRC it’s just diagnostic improvements left from the review.</p>



<a name="147624471"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624471" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624471">(Nov 13 2018 at 20:52)</a>:</h4>
<blockquote>
<p>As far as I know, Felix finished the review and looked at all of the “needs further investigation” ones.</p>
</blockquote>
<p>ok, I'll try to look through the cards, but that'd be awesome then</p>



<a name="147624484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624484">(Nov 13 2018 at 20:53)</a>:</h4>
<blockquote>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> would you be interested in either "borrow used here in later iteration of loop" in cases outside of loop <a href="https://github.com/rust-lang/rust/issues/53773" target="_blank" title="https://github.com/rust-lang/rust/issues/53773">#53773</a> or <a href="https://github.com/rust-lang/rust/issues/55511" target="_blank" title="https://github.com/rust-lang/rust/issues/55511">#55511</a>?</p>
</blockquote>
<p>yes</p>



<a name="147624495"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624495" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624495">(Nov 13 2018 at 20:53)</a>:</h4>
<p>I'd say that <a href="https://github.com/rust-lang/rust/issues/53773" target="_blank" title="https://github.com/rust-lang/rust/issues/53773">#53773</a> is 'just a diagnostic' so lesser priority but perhaps easy and it <em>could</em> be quite confusing for folks</p>



<a name="147624509"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624509" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624509">(Nov 13 2018 at 20:53)</a>:</h4>
<p><span class="emoji emoji-1f44d" title="+1">:+1:</span></p>



<a name="147624609"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624609" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624609">(Nov 13 2018 at 20:54)</a>:</h4>
<p>so maybe let's start there</p>



<a name="147624663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624663">(Nov 13 2018 at 20:55)</a>:</h4>
<p>assigning both to myself then</p>



<a name="147624762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624762">(Nov 13 2018 at 20:57)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I saw you did already assign <a href="https://github.com/rust-lang/rust/issues/53773" target="_blank" title="https://github.com/rust-lang/rust/issues/53773">#53773</a> to me, should I also assign the other one?</p>



<a name="147624763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624763">(Nov 13 2018 at 20:57)</a>:</h4>
<p>ok, so... <span class="user-mention" data-user-id="116107">@davidtwco</span> and <span class="user-mention" data-user-id="116118">@Matthew Jasper</span>, you both seemed to be "in the middle of stuff", anybody else lurking and interested in finding something to do?</p>



<a name="147624770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624770">(Nov 13 2018 at 20:57)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> I'd say hold off until <a href="https://github.com/rust-lang/rust/issues/53773" target="_blank" title="https://github.com/rust-lang/rust/issues/53773">#53773</a> is done</p>



<a name="147624776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624776">(Nov 13 2018 at 20:57)</a>:</h4>
<p>but either way</p>



<a name="147624778"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624778" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624778">(Nov 13 2018 at 20:57)</a>:</h4>
<p>ok</p>



<a name="147624924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624924">(Nov 13 2018 at 20:59)</a>:</h4>
<p>ok, thanks everyone, I guess we'll adjoun for now, I'm going to try and follow up on some of those issues :)</p>



<a name="147624935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624935">(Nov 13 2018 at 20:59)</a>:</h4>
<p>oh fyi</p>



<a name="147624981"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147624981" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147624981">(Nov 13 2018 at 21:00)</a>:</h4>
<p>we're aiming to get all Rust 2018 stuff done by next Wednesday</p>



<a name="147625002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147625002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147625002">(Nov 13 2018 at 21:00)</a>:</h4>
<p>so backports and things</p>



<a name="147625015"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147625015" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147625015">(Nov 13 2018 at 21:00)</a>:</h4>
<p>so <span class="user-mention" data-user-id="116107">@davidtwco</span> if e.g. we wanted to backport that branch you're working on, that would be relevant</p>



<a name="147625030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147625030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147625030">(Nov 13 2018 at 21:00)</a>:</h4>
<p>though I suspect we could live without doing that</p>



<a name="147625032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20November%2013/near/147625032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20November.2013.html#147625032">(Nov 13 2018 at 21:00)</a>:</h4>
<p>I'll hopefully have this ready by the end of the week.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>